da exc ^{grammar (beta)}

yes

do pre ^{grammar (beta)}

to